par Chartejee, Khrishnendu;Doyen, Laurent ;Henzinger, Thomas A.;Raskin, Jean-François
Référence Logical methods in computer science, 3, page (1-23)
Publication Publié, 2007
Article révisé par les pairs
Titre:
  • Algorithms for omega-Regular with Imperfect Information
Auteur:Chartejee, Khrishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
Informations sur la publication:Logical methods in computer science, 3, page (1-23)
Statut de publication:Publié, 2007
Sujet CREF:Informatique mathématique
Langue:Anglais
Identificateurs:urn:issn:1860-5974